4x4 determinant example